Introduction Interplay: Process Algebra and Markov Process Applications

Source URL: homepages.inf.ed.ac.uk

• Process calculi
• Jane Hillston
• PEPA
• Markov chain
• Laboratory for Foundations of Computer Science
• Process calculus
• Algebra
• Edinburgh
• Theoretical computer science
• Mathematics
• TAPAs model checker

Many Holes in Hindley-Milner Sam Lindley Laboratory for Foundations of Computer Science, University of Edinburgh

Source URL: www.kb.ecei.tohoku.ac.jp

Stochastic Process Algebras and Ordinary Differential Equations Jane Hillston Laboratory for Foundations of Computer Science and Centre for Systems Biology at Edinburgh University of Edinburgh

Source URL: homepages.inf.ed.ac.uk

• Theoretical computer science
• Statistics
• Markov models
• Mathematics
• Graph theory
• Markov chain
• Stochastic process
• Stochastic
• Process calculus
• Semantics
• Algebra over a field
• PEPA

Copyright © The Unicist Research Institute 1 The Unicist Epistemology to deal with Knowledge The Unicist Epistemology is based on the development of the logical foundations and

Source URL: www.unicist.org

• Knowledge representation
• Knowledge engineering
• Education
• Systems
• Cognitive science
• Knowledge
• Educational psychology
• Information science
• Peter Belohlavek
• Ontology
• Conceptual model
• Complex systems

Sutra: International Journal of Mathematical Science Education © Technomathematics Research Foundation Vol. 1, No. 1, 1 – 8, 2008    MATHEMATICS THRILLERIUM

Source URL: www.tmrfindia.org

• Number theorists
• Philosophers of science
• Philosophy of mathematics
• Mathematics
• Pure mathematics
• Albert Einstein
• Mathematical analysis
• Foundations of mathematics
• Tensor
• Srinivasa Ramanujan
• Calculus
• David Hilbert

Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1

Source URL: www.cs.tau.ac.il

• Mathematical logic
• Programming paradigms
• Algorithm
• Theoretical computer science
• Axiom
• Euclidean geometry
• Logic programming
• Constraint satisfaction
• Constraint programming
• Satisfiability modulo theories
• Foundations of geometry

RMM Vol. 3, 2012, 71–107 Special Topic: Statistical Science and Philosophy of Science Edited by Deborah G. Mayo, Aris Spanos and Kent W. Staley http://www.rmm-journal.de/ Deborah Mayo

Source URL: www.rmm-journal.com

• Statistical inference
• Statistical theory
• Hypothesis testing
• Philosophy of science
• Psychometrics
• Frequentist probability
• Frequentist inference
• Bayesian inference
• Statistical hypothesis testing
• Statistics
• Foundations of statistics
• Null hypothesis

International Journal of Foundations of Computer Science c World Scientific Publishing Company ! A First Approach to Finding Common Motifs With Gaps COSTAS S. ILIOPOULOS∗

Source URL: pbil.univ-lyon1.fr

• Suffix tree
• String searching algorithm
• String
• Generalized suffix tree
• Trie
• NP
• Planted motif search

Search Based Software Engineering: Foundations, Challenges and Recent Advances Marouane Kessentini SBSE Research Lab, CIS Department, College of Engineering and Computer Science,

Source URL: www.wcci2016.org

• Software engineering
• Software quality
• Program analysis
• Search-based software engineering
• Software testing
• SBSE
• Mark Harman
• Code refactoring
• Computer science

1 Farbod Roosta-Khorasani University of California, Berkeley Department of Statistics and ICSI Email:

Source URL: www.stat.berkeley.edu

• Computational science
• Applied mathematics
• Numerical linear algebra
• Mathematical optimization
• Foundations of Computational Mathematics
• Computational mathematics
• Numerical analysis
• SIAM Journal on Scientific Computing